CROCK3.LSP[BMP,SYS] - www.SailDart.org

perm filename CROCK3.LSP[BMP,SYS] blob sn#737803 filedate 1984-01-14 generic text, type T, neo UTF8

;   An auxiliary file for the compilation of the TOPS-20 Maclisp version
;   of our theorem prover.

;;(DECLARE (FASLOAD EVENTS FASL AUX "CL.THM"))
(DECLARE (FASLOAD EVENTS FASL))